A Web-based Tool Combining Different Type Analyses

Abstract. There are various kinds of type analysis of logic programs. These in-clude for example inference of types that describe an over-approximation of the success set of a program, inference of well-typings, and abstractions based on given types. Analyses can be descriptive or prescriptive or a mixture of both, and they can be goal-dependent or goal-independent. We describe a prototype tool that can be accessed from a web browser, allowing various type analyses to be run. The first goal of the tool is to allow the analysis results to be examined conveniently by clicking on points in the original program clauses, and to highlight ill-typed pro-gram constructs, empty types or other type anomalies. Secondly the tool allows combination of the various styles of analysis. For example, a descriptive regular type can be automatically inferred for a given program, and then that type can be used to generate the minimal “domain model ” of the program with respect to the corresponding pre-interpretation, which can give more precise information than the original descriptive type.

Методология синтеза архитектуры программно-технического комплекса автоматизированной системы мониторинга обстановки

Предложен подход к проектированию архитектуры программно-технического комплекса автоматизированной системы мониторинга обстановки в реальном времени, основанный на классификации решаемых функциональных задач на основе методов кластерного анализа и выбранного множества признаков подобия. Разработанный подход позволяет из множества функций системы выделить подобные (по определенным признакам) и объединить их в архитектурные компоненты (унифицированные функциональные модули).Запропоновано підхід до проектування архітектури центру обробки інформації автоматизованої системи моніторингу середовища в реальному часі, що заснований на класифікації функціональних задач на підставі методів кластерного аналізу і обраної множини ознак схожості. Розроблений підхід дозволяє вибрати із множини функцій системи схожі (за певними ознаками) і поєднати їх в архітектурні компоненти (уніфіковані функціональні модулі).The approach to designing architecture of the information processing complex of the automated real time conditions monitoring system based on classification of functional tasks on the basis of methods of cluster analysis and the chosen set of similarity attributes is offered. The developed approach allows to allocate from a set of functions the systems similar (on certain attributes) and to unite them in architectural components (unified functional modules)

Automatic Detection of Animals in Mowing Operations Using Thermal Cameras

During the last decades, high-efficiency farming equipment has been developed in the agricultural sector. This has also included efficiency improvement of moving techniques, which include increased working speeds and widths. Therefore, the risk of wild animals being accidentally injured or killed during routine farming operations has increased dramatically over the years. In particular, the nests of ground nesting bird species like grey partridge <em>(Perdix perdix)</em> or pheasant <em>(Phasianus colchicus)</em> are vulnerable to farming operations in their breeding habitat, whereas in mammals, the natural instinct of e.g., leverets of brown hare <em>(Lepus europaeus)</em> and fawns of roe deer <em>(Capreolus capreolus)</em> to lay low and still in the vegetation to avoid predators increase their risk of being killed or injured in farming operations. Various methods and approaches have been used to reduce wildlife mortality resulting from farming operations. However, since wildlife-friendly farming often results in lower efficiency, attempts have been made to develop automatic systems capable of detecting wild animals in the crop. Here we assessed the suitability of thermal imaging in combination with digital image processing to automatically detect a chicken <em>(Gallus domesticus)</em> and a rabbit <em>(Oryctolagus cuniculus)</em> in a grassland habitat. Throughout the different test scenarios, our study animals were detected with a high precision, although the most dense grass cover reduced the detection rate. We conclude that thermal imaging and digital imaging processing may be an important tool for the improvement of wildlife-friendly farming practices in the future

Prehistoric Plant Exploitation and Domestication: An Inspiration for the Science of De Novo Domestication in Present Times

De novo domestication is a novel trend in plant genetics, where traits of wild or semi-wild species are changed by the use of modern precision breeding techniques so that they conform to modern cultivation. Out of more than 300,000 wild plant species, only a few were fully domesticated by humans in prehistory. Moreover, out of these few domesticated species, less than 10 species dominate world agricultural production by more than 80% today. Much of this limited diversity of crop exploitation by modern humans was defined early in prehistory at the emergence of sedentary agro-pastoral cultures that limited the number of crops evolving a favorable domestication syndrome. However, modern plant genetics have revealed the roadmaps of genetic changes that led to these domestication traits. Based on such observations, plant scientists are now taking steps towards using modern breeding technologies to explore the potential of de novo domestication of plant species that were neglected in the past. We suggest here that in this process of de novo domestication, the study of Late Paleolithic/Late Archaic and Early Neolithic/Early Formative exploration of wild plants and identification of neglected species can help identify the barriers towards domestication. Modern breeding technologies may then assist us to break these barriers in order to perform de novo domestication to increase the crop species diversity of modern agriculture